Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
51	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
52	Research Agenda for High Productivity Language Systems 1 Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2005-04-19 11:40:24 Software Computing Parallel computing Programming paradigms Cross-platform software Concurrent programming languages Object-oriented programming languages Domain-specific language Data-intensive computing Programming language Scripting language Abstraction
53	Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-17 17:51:35 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Type theory Concurrent programming languages Programming paradigms Haskell Scala Mixin Concurrent computing
54	Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Logic Logic programming Automated theorem proving Prolog Substitution Interpreter Term Programming language Declarative programming
55	Dynamic Development Support for Highly Concurrent Programs in the Ohua Data Flow Engine Sebastian Ertel Michael J. Beckerle Add to Reading List Source URL: lame2013.dei.uc.pt Language: English - Date: 2013-06-28 07:40:32 Programming paradigms Concurrent programming languages Computer architecture Parallel computing Visual programming languages Flow-based programming Dataflow Transmission Control Protocol Actor model Concurrent computing Algorithm Traffic flow
56	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
57	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2003-08-25 12:18:38 Formal methods Programming paradigms Cross-platform software Theoretical computer science Logic in computer science Infusion pump Model checking Formal verification Java Object-oriented programming Coupling Design by contract
58	Microsoft PowerPoint - casta10-verwaest[cubo]20pp.ppt Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:12 Programming paradigms Object-oriented programming Interpreter Smalltalk Class Semantics Reflection Java virtual machine Encapsulation Abstraction Execution
59	Dept Number Semester Hours Catalog Description Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2014-06-18 13:37:54 Object-oriented programming languages Programming paradigms Cross-platform software Object-oriented programming Concurrent programming languages Class Programming language Computer programming Java Abstraction Assembly language Comparison of C Sharp and Java
60	Architecture Manual CLIPS Version 5.1 January 6th 1992 CLIPS Architecture Manual Version 5.1 January 6th 1992 Add to Reading List Source URL: clipsrules.sourceforge.net Language: English - Date: 2008-03-08 23:11:38 Programming paradigms Functional languages Object-oriented programming languages Procedural programming languages Cross-platform software Common Lisp CLIPS Lisp Perl module Scripting language Object-oriented programming Modular programming